#include <stdio.h>
#include <unistd.h>

int main(int ac, char** av) 
{
  char *name[3];
  name[0] = "NULL";
  name[1] = "1234567890123456789012345";
  int i = execve("./as4_t4", name, NULL);
  printf("Return: %d\n", i);
}